xen/arm: clear pending irq queues on do_psci_cpu_on
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Wed, 8 May 2013 11:41:14 +0000 (12:41 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 8 May 2013 11:59:47 +0000 (12:59 +0100)
commit803d6c993abd0319e1cd17ef23301e8cf6ff157b
treebb105989e5a9abc28d1bd38bfe75af379674343a
parentafb2edfc329395daeb3d90af567f07ddae4ba203
xen/arm: clear pending irq queues on do_psci_cpu_on

Don't inject irqs to vcpus that are down.

Also when (re)activating a vcpu, clear the vgic and gic irq queues: we
don't want to inject any irqs that couldn't be handled by the vcpu right
before going offline.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic.c
xen/arch/arm/psci.c
xen/arch/arm/vgic.c
xen/include/asm-arm/gic.h